The Theory Grid and Grid Theorists
نویسندگان
چکیده
This paper proposes a novel research direction: to build the Theory Grid as cooperatively shared formal theories within a virtual organization, and then to implement Grid Theorists as the wisdom of crowds working based on the Theory Grid such that the grid theorists have the ability to find new theorems and propose new questions semi-automatically.
منابع مشابه
A New Control Method for Single-Phase Grid-Connected Inverter Using Instantaneous Power Theory
Because of installation for local consumers and since it is free of all contaminations, connecting photovoltaic cells to the grid via single-phase inverter is significantly on the rise. In this paper, a new simple current control is proposed for a single-phase grid-connected voltage source inverter. Using the PQ theory and modelling a single-phase system as an unbalanced three-phase system, a m...
متن کاملA Lightweight Privacy-preserving Authenticated Key Exchange Scheme for Smart Grid Communications
Smart grid concept is introduced to modify the power grid by utilizing new information and communication technology. Smart grid needs live power consumption monitoring to provide required services and for this issue, bi-directional communication is essential. Security and privacy are the most important requirements that should be provided in the communication. Because of the complex design of s...
متن کاملThe Design of a New Double Loop Controller For Simultaneous Adjustment of Input and Output Voltages of Single-Phase Grid-Connected Inverter
Although LCL filters are used widely in the grid connected inverters to reduce high-orderharmonics, such a system increases system order and therefore sustainable design of closed-loopcontroller system will be complicated. Recently, the single-loop control strategy has beensuggested for L or LC filter based grid-connected inverters. However, the use of single-loopcontrol directly in LCL filter-...
متن کاملBuckling and Postbuckling of Concentrically Stiffened Piezo-Composite Plates on Elastic Foundations
This research presents the modeling and analysis for the buckling and postbuckling behavior of sandwich plates under thermal and mechanical loads. The lay-up configurations of plates are laminated composite with concentric stiffener and surface mounted piezoelectric actuators. The plates are in contact with a three-parameter elastic foundation including softening and/or hardening nonlinearity. ...
متن کاملA Grid-connected PV Power Supply based on Flying Capacitor multicell converter with modified MPPT based Control for Active Power Filtering
This paper presents a grid connected photovoltaic system, which acts as both power generator and active power filter (APF), based on Flying Capacitor Multicell (FCM) converter. Increase in the number of output voltage levels, natural self-balancing of flying capacitors and dc link voltage and lower power rating of components are the main futures of FCM converter compared with conventional multi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006